Torelli Theorem via Fourier - Mukai Transform
نویسندگان
چکیده
We show that the Fourier transform on the Jacobian of a curve interchanges " δ functions " on the curve and the theta divisor. The Torelli theorem is an immediate consequence. 1. Statement of the theorem. 1.1. We live over an algebraically closed base field k. Let J be an abelian variety equipped with a principal polarization θ : J ∼ → J • = Pic 0 (J), so we have the corresponding Fourier transform F on the derived category of quasi-coherent sheaves D(J, O). Let Θ be the theta divisor. Notice that Θ is defined up to translation , and any non-trivial translation does not preserve Θ. So we may consider Θ as a canonically defined algebraic variety equipped with a J-torsor of embeddings j : Θ ֒→ J; we call these j's standard embed-dings. Denote by Θ ns the open subset of smooth points of Θ. For a standard embedding j let j ns : Θ ns ֒→ J be its restriction to Θ ns. Our Θ carries a canonical involution x → x ν ; this is the unique involution such that for any standard embedding j the embedding j ν : x → −j(x ν) is also standard. For a line bundle L on Θ or Θ ns set L ν := ν * L. The pull-back j * F of an O J-module F does not change if we translate both j and F by the same element of J. Thus the image of j ns * : Pic(J) → Pic(Θ ns) is a canonically defined subgroup of Pic(Θ ns) (it does not depend on j). Denote by A(J) the corresponding quotient group. Let T ⊂ Pic(Θ ns) be the subset of line bundles L such that (i) L · L ν = ω Θ ns (ii) A(J) is generated by the image of L. Remark. Since the tangent bundle to J is trivial, one has ω Θ ns = j ns * O J (j(Θ)). Thus, if T is non-empty then ν acts on A(J) as-1.
منابع مشابه
On Fourier-mukai Transform on the Compact Variety of Ruled Surfaces
Let C be a projective irreducible non-singular curve over an algebraic closed field k of characteristic 0. We consider the Jacobian J(C) of C that is a projective abelian variety parametrizing topological trivial line bundles on C. We consider its Brill-Noether loci that corresponds to the varieties of special divisors. The Torelli theorem allows us to recover the curve from its Jacobian as a p...
متن کاملA Note on Fourier-mukai Transform
Let X be an abelian or a K3 surface defined over C. The Fourier-Mukai transform is a very useful tool for analysing the moduli spaces of sheaves on X . In order to apply the Fourier-Mukai transform to an actual problem, it is important to study the problem on the preservation of stability under the Fourier-Mukai transform. In [Y2], [Y3], we discussed this problem and showed that the stability i...
متن کامل1 O ct 1 99 9 TORELLI THEOREM VIA FOURIER - MUKAI TRANSFORM
We show that the Fourier transform on the Jacobian of a curve interchanges " δ functions " on the curve and the theta divisor. The Torelli theorem is an immediate consequence. 1. Statement of the theorem. 1.1. We live over an algebraically closed base field k. Let J be an abelian variety equipped with a principal polarization θ : J ∼ → J • = Pic 0 (J), so we have the corresponding Fourier trans...
متن کاملAbelian Varieties , Theta Functions and the Fourier Transform
This book is a modern introduction to the theory of abelian varieties and theta functions.Here the Fourier transform techniques play a central role, appearing in several different contexts. In transcendental theory, the usual Fourier transform plays a major role in the representation theory of the Heisenberg group, the main building block for the theory of theta functions. Also, the Fourier tra...
متن کامل